#!/bin/bash

echo "Gerando Saida"
./Maude/maude-linux64/maude.linux64 PetriNetInterleaving.maude > Debug/PetriNetInterleaving.saida
cat Debug/PetriNetInterleaving.saida | python scripts/parser.py > PetriNetInterleaving.resultado
echo "Saida Gerada!"
